Форма́льная ло́гика — наука о правилах преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий, а также конструирование этих правил. Будучи основателем формальной логики как науки, Аристотель называл её, «аналитика», термин же «логика» прочно вошёл в обиход уже после его смерти в III веке до нашей эры. (Википедия)
Развёрнутое толкование значения слов и выражений, список фразеологизмов и устойчивых сочетаний, примеры, поясняющие отдельные значения.
Примеры употребления в контексте из современных источников и из русской классической литературы.
Правописание, таблицы склонения имён существительных и прилагательных, таблицы спряжения глаголов, разбор по составу с графической схемой и указанием списка сходных по морфемному строению слов.